Max - Planck - Institut Für Informatik
نویسندگان
چکیده
We present a two-sorted algebra, called a Peirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a relationforming operator on sets (the Peirce product of Boolean modules) and a set-forming operator on relations (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the so-called terminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets.
منابع مشابه
Discrepancy of Products of Hypergraphs
Discrepancy of Products of Hypergraphs Benjamin Doerr, Michael Gnewuch and Nils Hebbinghaus Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, D-66123 Saarbrücken, e-mail: [email protected] Max-Planck-Institut für Mathematik in den Naturwissenschaften, Inselstraße 22, D-04103 Leipzig, e-mail: [email protected] Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Uni...
متن کاملRekonstruktion zerebraler Gefässnetzwerke aus in-vivo μMRA mittels physiologischem Vorwissen zur lokalen Gefässgeometrie
Departement für Informatik, TU München Institut für Bildverarbeitung, ETH Zürich Institut für Pharmakologie und Toxikologie, Universität Zürich Institut für Biomedizinische Technik, Universität und ETH Zürich Advanced Photon Source, Argonne National Laboratory, USA Feinberg School of Medicine, Northwestern University, Chicago IL, USA Max-Planck-Institut für Informatik, Saarbrücken Institute for...
متن کاملMagnetic Surfaces and Localized Perturbations in the Wendelstein VII-A Stellarator
für Naturforschung in cooperation with the Max Planck Society for the Advancement of Science under a Creative Commons Attribution 4.0 International License. Dieses Werk wurde im Jahr 2013 vom Verlag Zeitschrift für Naturforschung in Zusammenarbeit mit der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. digitalisiert und unter folgender Lizenz veröffentlicht: Creative Commons Namen...
متن کاملIon irradiation of solids at extreme pressures
Lang, M., Glasmacher, U.A., Keppler, H., Neumann, R., Schardt, D., Wagner, G.A. Gesellschaft für Schwerionenforschung (GSI), Planckstr. 1, 64291 Darmstadt Forschungsstelle Archäometrie der Heidelberger Akademie der Wissenschaften am Max-Planck-Institut für Kernphysik, Postfach 103980, 69029 Heidelberg Institut für Petrologie, Mineralogie und Geochemie, Universität Tübingen, Wilhelmstr. 56, 7207...
متن کاملA Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market
We present the first combinatorial polynomial time algorithm for computing the equilibrium of the Arrow-Debreu market model with linear utilities. Our algorithm views the allocation of money as flows and iteratively improves the balanced flow as in [Devanur et al. 2008] for Fisher’s model. We develop new methods to carefully deal with the flows and surpluses A preliminary version of this paper ...
متن کامل